1. Deducibility and decidability
Author: Gill, R. R. Rockingham
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
Classification :
BC
135
.
G495
1990
2. Deducibility and decidability
Author: Gill, R. R. Rockingham, 4491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
Classification :
BC
135
.
G5
